# SPDX-License-Identifier: Apache-2.0

zephyr_sources(                         sys_clock_init.c)
zephyr_sources_ifdef(CONFIG_HPET_TIMER  hpet.c)
zephyr_sources_ifdef(CONFIG_ARCV2_TIMER arcv2_timer0.c)
zephyr_sources_ifdef(CONFIG_ARM_ARCH_TIMER arm_arch_timer.c)
zephyr_sources_if_kconfig(              loapic_timer.c)
zephyr_sources_if_kconfig(              apic_timer.c)
zephyr_sources_ifdef(CONFIG_ALTERA_AVALON_TIMER altera_avalon_timer_hal.c)
zephyr_sources_if_kconfig(              nrf_rtc_timer.c)
zephyr_sources_if_kconfig(              stm32_lptim_timer.c)
zephyr_sources_if_kconfig(              riscv_machine_timer.c)
zephyr_sources_if_kconfig(              rv32m1_lptmr_timer.c)
zephyr_sources_if_kconfig(              cortex_m_systick.c)
zephyr_sources_ifdef(CONFIG_XTENSA_TIMER xtensa_sys_timer.c)
zephyr_sources_if_kconfig(              native_posix_timer.c)
zephyr_sources_if_kconfig(              sam0_rtc_timer.c)
zephyr_sources_if_kconfig(              litex_timer.c)
zephyr_sources_if_kconfig(              mchp_xec_rtos_timer.c)
zephyr_sources_if_kconfig(              xlnx_psttc_timer.c)
zephyr_sources_if_kconfig(		cc13x2_cc26x2_rtc_timer.c)
